<html>
<head><meta charset="utf-8"><title>issue triage and labels · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html">issue triage and labels</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="187608220"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/187608220" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#187608220">(Feb 07 2020 at 02:31)</a>:</h4>
<p>Okay, so I remade the issue <a href="https://github.com/rust-lang/chalk/labels" target="_blank" title="https://github.com/rust-lang/chalk/labels">labels</a> and labeled the issues as needed</p>



<a name="187608358"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/187608358" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#187608358">(Feb 07 2020 at 02:34)</a>:</h4>
<p>There's now a "need triage" label specifically to mark for discussion (somewhat parallel to rustc's nominated)</p>



<a name="187608364"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/187608364" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#187608364">(Feb 07 2020 at 02:34)</a>:</h4>
<p>In particular, I've marked <a href="https://github.com/rust-lang/chalk/labels/needs%20triage" target="_blank" title="https://github.com/rust-lang/chalk/labels/needs%20triage">7</a> of them under this</p>



<a name="187608374"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/187608374" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#187608374">(Feb 07 2020 at 02:35)</a>:</h4>
<p>I'll go through them and explain why. This is mostly for <span class="user-mention" data-user-id="116009">@nikomatsakis</span> to respond as needed, but also if anyone else has comments</p>



<a name="187608441"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/187608441" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#187608441">(Feb 07 2020 at 02:37)</a>:</h4>
<p><a href="https://github.com/rust-lang/chalk/issues/6" target="_blank" title="https://github.com/rust-lang/chalk/issues/6">inference, lazy normalization, and occurs check</a>. This is 3 years old at this point. Nothing actionable and relevant <code>FIXME</code>s are no longer there. Should we close or identify something actionable</p>



<a name="187608529"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/187608529" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#187608529">(Feb 07 2020 at 02:39)</a>:</h4>
<p><a href="https://github.com/rust-lang/chalk/issues/12" target="_blank" title="https://github.com/rust-lang/chalk/issues/12">Elaborating where clauses on traits, structs</a>. Similar, 3 years old. Really not sure what to do with this.</p>



<a name="187608601"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/187608601" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#187608601">(Feb 07 2020 at 02:41)</a>:</h4>
<p><a href="https://github.com/rust-lang/chalk/issues/121" target="_blank" title="https://github.com/rust-lang/chalk/issues/121">README doesn't make it clear exactly what chalk is</a>. I think this one is probably closable. I definitely want to go through the README and clean up a bit, but there isn't really anything actionable here. It also is supplemented by the book.</p>



<a name="187608692"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/187608692" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#187608692">(Feb 07 2020 at 02:42)</a>:</h4>
<p><a href="https://github.com/rust-lang/chalk/issues/219" target="_blank" title="https://github.com/rust-lang/chalk/issues/219">support "specialized" impls</a>. <span class="user-mention" data-user-id="125294">@Aaron Hill</span> also asked about this status. Anything left to do here that isn't covered more generally by <a href="https://github.com/rust-lang/chalk/issues/9" target="_blank" title="https://github.com/rust-lang/chalk/issues/9">https://github.com/rust-lang/chalk/issues/9</a>?</p>



<a name="187608758"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/187608758" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#187608758">(Feb 07 2020 at 02:44)</a>:</h4>
<p><a href="https://github.com/rust-lang/chalk/issues/241" target="_blank" title="https://github.com/rust-lang/chalk/issues/241">refine <code>RustIrDatabase</code> interface</a>. Is there more design work to do here? Seems like the branch you link is merged?</p>



<a name="187608846"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/187608846" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#187608846">(Feb 07 2020 at 02:47)</a>:</h4>
<p><a href="https://github.com/rust-lang/chalk/issues/246" target="_blank" title="https://github.com/rust-lang/chalk/issues/246">make chalk inner loop "fuel friendly"</a>. I think this one is "done" with the changes in <a href="https://github.com/rust-lang/chalk/pull/321" target="_blank" title="https://github.com/rust-lang/chalk/pull/321">https://github.com/rust-lang/chalk/pull/321</a>. I think that I should open up a follow up issue though with some improvements I want to make to <code>solve_limited</code>. I'm curious what you mean when you mean floundering and cycles do an unbounded amount of work. (cycle somewhat I know, but not entirely)</p>



<a name="187608959"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/187608959" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#187608959">(Feb 07 2020 at 02:50)</a>:</h4>
<p><a href="https://github.com/rust-lang/chalk/issues/286" target="_blank" title="https://github.com/rust-lang/chalk/issues/286">extract rustc-guide content to make a chalk book</a>. So, we obviously have a book. It's incomplete, so maybe we use this as a tracking issue. The only thing I think still relevant with this is mentioning <code>CHALK_DEBUG</code> and reading list, though I think we have places for those</p>



<a name="187608963"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/187608963" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#187608963">(Feb 07 2020 at 02:50)</a>:</h4>
<p>And that's everything</p>



<a name="188019243"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/188019243" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#188019243">(Feb 12 2020 at 15:22)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> if you could dedicate a bit of time to at least go through each of these and decide if they can/should be closed, or clarify what needs to be done going forward that would be nice :)</p>



<a name="188019299"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/188019299" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#188019299">(Feb 12 2020 at 15:22)</a>:</h4>
<p>I will try to do that today and if not today then Friday</p>



<a name="188019318"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/188019318" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#188019318">(Feb 12 2020 at 15:22)</a>:</h4>
<p>but I think I can do that today :)</p>



<a name="188019343"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/188019343" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#188019343">(Feb 12 2020 at 15:22)</a>:</h4>
<p>/me adds to daily to do list</p>



<a name="188024706"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/188024706" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#188024706">(Feb 12 2020 at 16:10)</a>:</h4>
<p>It's not super urgent. But I figured a bit of a ping would be helpful</p>



<a name="188236339"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/188236339" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#188236339">(Feb 14 2020 at 19:12)</a>:</h4>
<p>OK let me get to this finaklly</p>



<a name="188236505"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/188236505" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#188236505">(Feb 14 2020 at 19:13)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/issue.20triage.20and.20labels/near/187608441" title="#narrow/stream/144729-wg-traits/topic/issue.20triage.20and.20labels/near/187608441">said</a>:</p>
<blockquote>
<p><a href="https://github.com/rust-lang/chalk/issues/6" target="_blank" title="https://github.com/rust-lang/chalk/issues/6">inference, lazy normalization, and occurs check</a>. This is 3 years old at this point. Nothing actionable and relevant <code>FIXME</code>s are no longer there. Should we close or identify something actionable</p>
</blockquote>
<p>I think we should just close this. There may be a relevant problem that arises as we push further through, but let's wait till we have some concrete examples of the problem.</p>



<a name="188240628"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/188240628" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#188240628">(Feb 14 2020 at 19:55)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/issue.20triage.20and.20labels/near/187608529" title="#narrow/stream/144729-wg-traits/topic/issue.20triage.20and.20labels/near/187608529">said</a>:</p>
<blockquote>
<p><a href="https://github.com/rust-lang/chalk/issues/12" target="_blank" title="https://github.com/rust-lang/chalk/issues/12">Elaborating where clauses on traits, structs</a>. Similar, 3 years old. Really not sure what to do with this.</p>
</blockquote>
<p>to some extent we "implemented" this -- the lowering rules include elaboration and implied bounds. I do think there is some problem here in that the rules chalk implements are different (arguably better, but still) than what rustc does. They are really implementing the rules from <a href="https://github.com/rust-lang/rfcs/issues/2089" target="_blank" title="https://github.com/rust-lang/rfcs/issues/2089">rfc#2089</a></p>



<a name="188240636"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/188240636" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#188240636">(Feb 14 2020 at 19:55)</a>:</h4>
<p>Still, I think we should close this particular issue</p>



<a name="188240697"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/188240697" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#188240697">(Feb 14 2020 at 19:56)</a>:</h4>
<p>I sort of think though that the "concept" of aligning this stuff should move into the "skill-tree"</p>



<a name="188240732"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/188240732" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#188240732">(Feb 14 2020 at 19:56)</a>:</h4>
<p>I think a lot of these "higher-level" things ought to move there instead, issues should be for more immediately actionable things</p>



<a name="189184360"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189184360" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189184360">(Feb 27 2020 at 03:34)</a>:</h4>
<p>Pinging <span class="user-mention" data-user-id="116009">@nikomatsakis</span>. When you get some time, can you go through the rest of the issues labeled "needs triage" and either close or comment on them? Thanks &lt;3</p>



<a name="189908786"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189908786" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189908786">(Mar 06 2020 at 16:21)</a>:</h4>
<p>Hey <span class="user-mention" data-user-id="232957">@Jack Huey</span> I have a question here</p>



<a name="189908797"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189908797" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189908797">(Mar 06 2020 at 16:21)</a>:</h4>
<p>There are a number of "longer term" chalk goals</p>



<a name="189908807"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189908807" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189908807">(Mar 06 2020 at 16:21)</a>:</h4>
<p>e.g., modeling specialization or whatever</p>



<a name="189908812"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189908812" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189908812">(Mar 06 2020 at 16:21)</a>:</h4>
<p>that are represented above</p>



<a name="189908822"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189908822" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189908822">(Mar 06 2020 at 16:21)</a>:</h4>
<p>I would like some place to link to from the skill-tree</p>



<a name="189908826"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189908826" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189908826">(Mar 06 2020 at 16:21)</a>:</h4>
<p>that gives thoughts and details</p>



<a name="189908833"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189908833" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189908833">(Mar 06 2020 at 16:21)</a>:</h4>
<p>but I wonder if it'd be beter to close the issues</p>



<a name="189908836"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189908836" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189908836">(Mar 06 2020 at 16:21)</a>:</h4>
<p>and open wiki pages</p>



<a name="189908891"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189908891" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189908891">(Mar 06 2020 at 16:22)</a>:</h4>
<p>I don't think that the issue format is <em>especially</em> helpful, in that it encourages "conversation" (which I think is better kept consolidated here, on Zulip)</p>



<a name="189908972"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189908972" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189908972">(Mar 06 2020 at 16:23)</a>:</h4>
<p>I think that <em>if</em> the topics of the issues are relevant <em>and</em> have a "goal" or some actionable item, then they can stay open/linked</p>



<a name="189908997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189908997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189908997">(Mar 06 2020 at 16:23)</a>:</h4>
<p>I also don't know how useful it is to have issues open purely for discussion</p>



<a name="189909059"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189909059" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189909059">(Mar 06 2020 at 16:24)</a>:</h4>
<p>Or have an issue open if there's not a clear way to close it</p>



<a name="189909536"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189909536" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189909536">(Mar 06 2020 at 16:28)</a>:</h4>
<p>what do you think about using wiki as a place to "collect" constraints, ideas, and drafts?</p>



<a name="189909542"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189909542" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189909542">(Mar 06 2020 at 16:28)</a>:</h4>
<p>an alternative might be to add files into wg-traits</p>



<a name="189909557"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189909557" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189909557">(Mar 06 2020 at 16:29)</a>:</h4>
<p>we've generally been kind of "anti-wiki"</p>



<a name="189909580"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189909580" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189909580">(Mar 06 2020 at 16:29)</a>:</h4>
<p>but I feel like this is a place where they might be a good fit</p>



<a name="189909663"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189909663" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189909663">(Mar 06 2020 at 16:30)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/issue.20triage.20and.20labels/near/189909557" title="#narrow/stream/144729-wg-traits/topic/issue.20triage.20and.20labels/near/189909557">said</a>:</p>
<blockquote>
<p>we've generally been kind of "anti-wiki"</p>
</blockquote>
<p>I think some of the reasons are: they generally become outdated, hard to manage changes and proposed changes (in contrast to PRs)</p>



<a name="189909696"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189909696" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189909696">(Mar 06 2020 at 16:30)</a>:</h4>
<p>weird licensing problems</p>



<a name="189909964"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189909964" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189909964">(Mar 06 2020 at 16:33)</a>:</h4>
<p>Can you be more specific about what you would expect to be added to the wiki? (or as files)</p>



<a name="189909997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189909997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189909997">(Mar 06 2020 at 16:33)</a>:</h4>
<p>It would be nice to consolidate/link the numerous Hackmd/paper docs</p>



<a name="189910011"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189910011" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189910011">(Mar 06 2020 at 16:33)</a>:</h4>
<p>but I'm not sure if that's what you mean</p>



<a name="189910110"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189910110" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189910110">(Mar 06 2020 at 16:34)</a>:</h4>
<p>As far as the wiki, I'm not sure I'm against it. But I can imagine it <em>would</em> get out of date. And would just end up being "just another thing to keep updated and manage"</p>



<a name="189910182"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189910182" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189910182">(Mar 06 2020 at 16:35)</a>:</h4>
<p>It would be good to think about what kind of "workflow" we want to have as idea/problems come in and code goes out</p>



<a name="189910198"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189910198" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189910198">(Mar 06 2020 at 16:35)</a>:</h4>
<p>(and the bug reports/additional problems repeat the cycle)</p>



<a name="189915843"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189915843" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189915843">(Mar 06 2020 at 17:37)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/issue.20triage.20and.20labels/near/189910110" title="#narrow/stream/144729-wg-traits/topic/issue.20triage.20and.20labels/near/189910110">said</a>:</p>
<blockquote>
<p>As far as the wiki, I'm not sure I'm against it. But I can imagine it <em>would</em> get out of date. And would just end up being "just another thing to keep updated and manage"</p>
</blockquote>
<p>Right, like there's also the GH projects thing we don't use too much</p>



<a name="189969177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189969177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189969177">(Mar 07 2020 at 12:33)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/issue.20triage.20and.20labels/near/189909964" title="#narrow/stream/144729-wg-traits/topic/issue.20triage.20and.20labels/near/189909964">said</a>:</p>
<blockquote>
<p>Can you be more specific about what you would expect to be added to the wiki? (or as files)</p>
</blockquote>
<p>Yes! I'm thinking of design notes on things like specialization, specifically, and other longer-term goals.</p>



<a name="189969180"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189969180" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189969180">(Mar 07 2020 at 12:34)</a>:</h4>
<p>I feel like there is useful info that should be captured.</p>



<a name="189969218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189969218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189969218">(Mar 07 2020 at 12:34)</a>:</h4>
<p>Some of which currently lives in the issues.</p>



<a name="189969220"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189969220" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189969220">(Mar 07 2020 at 12:34)</a>:</h4>
<p>But issues don't seem to be the best place to capture that sort of thing.</p>



<a name="189969221"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189969221" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189969221">(Mar 07 2020 at 12:34)</a>:</h4>
<p>One interesting bit of this is that I think content like that doesn't get out of date as quickly,</p>



<a name="189969222"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189969222" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189969222">(Mar 07 2020 at 12:34)</a>:</h4>
<p>as it tends to involve more "fundamental concepts"</p>



<a name="189969224"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189969224" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189969224">(Mar 07 2020 at 12:34)</a>:</h4>
<p>the notation may be old, but the problems are often still quite relevant</p>



<a name="189969234"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189969234" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189969234">(Mar 07 2020 at 12:35)</a>:</h4>
<p>That said, I think another relevant case would be something like <a class="stream-topic" data-stream-id="144729" href="/#narrow/stream/144729-wg-traits/topic/extracting.20examples.20from.20chalk">#wg-traits &gt; extracting examples from chalk</a></p>



<a name="189986175"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189986175" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189986175">(Mar 07 2020 at 21:04)</a>:</h4>
<p>So, I guess this is split into a few parts as to how I feel about where things should go:</p>



<a name="189986344"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189986344" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189986344">(Mar 07 2020 at 21:09)</a>:</h4>
<p>1) Design "planning" conversations should probably primarily occur on Zulip. Or issues <em>if people that aren't on Zulip decide to be involved</em> (but I think this will be rare and really should be discouraged). Once we have a "plan", then things get typed up into a Hackmd and Paper doc, and maybe added to the skill tree. A link to these "living documents" can be posted to some combination of the issue, zulip thread, skill tree, wg-trait project, or maybe as a file, such as like an RFC almost. When a feature is "complete", the design docs could be uploaded verbatim to the wg-traits repo for posterity if we want.</p>



<a name="189986392"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189986392" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189986392">(Mar 07 2020 at 21:10)</a>:</h4>
<p>2) When something is "decided" or "finished", a relevant chapter of the books (either Chalk or rustc) should be updated to reflect the current state</p>



<a name="189986406"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189986406" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189986406">(Mar 07 2020 at 21:11)</a>:</h4>
<p>3) The "examples" I think could be uploaded as "programs" either as test in the Chalk repo or as a file in wg-traits repo</p>



<a name="189986458"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189986458" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189986458">(Mar 07 2020 at 21:12)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/issue.20triage.20and.20labels/near/189986344" title="#narrow/stream/144729-wg-traits/topic/issue.20triage.20and.20labels/near/189986344">said</a>:</p>
<blockquote>
<p>...the issue, zulip thread, skill tree, wg-trait project, or maybe as a file, such as like an RFC almost...</p>
</blockquote>
<p>maybe I should elaborate on what <em>I</em> feel the benefits/disadvantages of each are</p>



<a name="189986703"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189986703" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189986703">(Mar 07 2020 at 21:21)</a>:</h4>
<ul>
<li>Issues I feel are most useful when there is a "actionable goal", specifically something that could, theoretically, be closed with a pull request (but not always). So, an obvious example of this is <a href="https://github.com/rust-lang/chalk/issues/341" target="_blank" title="https://github.com/rust-lang/chalk/issues/341">https://github.com/rust-lang/chalk/issues/341</a>. It's a very discrete type of goal, with a clear endpoint. A less obvious example of this would be <a href="https://github.com/rust-lang/chalk/issues/318" target="_blank" title="https://github.com/rust-lang/chalk/issues/318">https://github.com/rust-lang/chalk/issues/318</a>. This one doesn't necesarily have a <em>clear</em> endpoint (since it really stems from an observation from invalid state). But it does have reproduction steps (even though they are a bit outdated because we no longer truncate). Nevertheless, it remains something that can be investigated. But is also (because we don't truncate anymore), I wouldn't be upset if it was closed. Another example of issue that we don't really have right now, but I think is also <em>ok</em> is a "tracking issue" (e.g. rustc integration). The obvious endpoint would be rustc using Chalk as <em>the</em> trait solver. In general, issues are a good place to briefly summarize mentoring guidelines, progress, and a "list" of things to do. And this is doubly so since that's generally the <em>first</em> place people go to look if they "want to get involved".</li>
</ul>



<a name="189986757"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189986757" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189986757">(Mar 07 2020 at 21:22)</a>:</h4>
<ul>
<li>Zulip threads are great for discussion, both sync and async. But they don't seem to be good for posterity (sure, you can permalink to a thread, but searching topics, especially older, is probably not great).</li>
</ul>



<a name="189986771"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189986771" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189986771">(Mar 07 2020 at 21:23)</a>:</h4>
<ul>
<li>The skill tree is super useful as an organizational tool (and super cool in general), but you can't add a ton of information to it, by itself</li>
</ul>



<a name="189986815"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189986815" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189986815">(Mar 07 2020 at 21:24)</a>:</h4>
<ul>
<li>wg-trait projects <em>can</em> be nice for organization too, but I actually think the skill tree supersedes most of the useful functionality</li>
</ul>



<a name="189986822"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189986822" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189986822">(Mar 07 2020 at 21:24)</a>:</h4>
<ul>
<li>wg-trait files are good for posterity and "mostly static" things, but I don't think is great for "living documents"</li>
</ul>



<a name="189986899"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189986899" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189986899">(Mar 07 2020 at 21:27)</a>:</h4>
<ul>
<li>Hackmd and paper docs are really good for summarizes discussions, topics, or ideas into an organized, readable doc. They're great for "putting on paper" thoughts. The big downside (if anything) is just keeping track of them. And I don't think they would be useful as an "ever-growing" document</li>
</ul>



<a name="189986943"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/189986943" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#189986943">(Mar 07 2020 at 21:28)</a>:</h4>
<p>But anyways, those are just my thoughts :)</p>



<a name="190078720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/issue%20triage%20and%20labels/near/190078720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/issue.20triage.20and.20labels.html#190078720">(Mar 09 2020 at 15:07)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> I think I'm in between. For larger design efforts, I don't think they can exist on zulip alone. I think it's very useful to have write-ups and drafts for things like that. Otherwise people have to read all the conversation and it's impossible to "catch up" (I think this same problem is part of the reason that issues are not a good fit.)</p>
<p>I think I'd like to see wg-traits as a repo that can collect such documents. That said, I agree that hackmd + paper is also a nice medium and maybe just better than a wiki. That said, I do remember that when we were working on "implied bounds", we went through a number of varieties, and I wish we had can been keeping a "implied_bounds" directory  with drafts and design notes from those various points.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>